Dependent type

Quality:

Dependent type - data type whose definition depends on a value. Article "Dependent type" in English Wikipedia has 48.7 points for quality (as of November 1, 2023). The article contains 37 references and 14 sections.

In this language version of Wikipedia the article has the best quality. Also, this article is the most popular in that language version.

Since the creation of article "Dependent type", its content was written by 102 registered users of English Wikipedia and edited by 158 registered Wikipedia users in all languages.

The article is cited 233 times in English Wikipedia and cited 438 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #25860 in December 2015
  • Global: #88162 in December 2015

The highest popularity rank from 2008:

  • Local (English): #12703 in November 2016
  • Global: #31645 in November 2016

There are 9 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from November 1, 2023 (including revision history and pageviews for previous years).

下表顯示了最高品質的文章的語言版本。

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Dependent type
48.6841
2Chinese (zh)
依赖类型
46.452
3Greek (el)
Εξαρτώμενος τύπος
14.9217
4Japanese (ja)
依存型
10.9834
5Czech (cs)
Závislostní typ
6.8687
6Ukrainian (uk)
Залежний тип
4.1369
7Russian (ru)
Зависимый тип
4.0015
8French (fr)
Type dépendant
0.9973
9Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
0.5466
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Dependent type" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Dependent type
742 987
2Russian (ru)
Зависимый тип
35 597
3Japanese (ja)
依存型
20 448
4Chinese (zh)
依赖类型
17 305
5French (fr)
Type dépendant
10 871
6Greek (el)
Εξαρτώμενος τύπος
2 000
7Czech (cs)
Závislostní typ
747
8Ukrainian (uk)
Залежний тип
168
9Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
7
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in October 2023

The most popular language versions of the article "Dependent type" in October 2023
#LanguagePopularity awardRelative popularity
1English (en)
Dependent type
4 104
2Japanese (ja)
依存型
208
3Russian (ru)
Зависимый тип
169
4Chinese (zh)
依赖类型
107
5French (fr)
Type dépendant
72
6Ukrainian (uk)
Залежний тип
15
7Czech (cs)
Závislostní typ
11
8Greek (el)
Εξαρτώμενος τύπος
5
9Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
2
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Dependent type" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Dependent type
102
2Russian (ru)
Зависимый тип
17
3Chinese (zh)
依赖类型
11
4Japanese (ja)
依存型
9
5French (fr)
Type dépendant
6
6Czech (cs)
Závislostní typ
5
7Greek (el)
Εξαρτώμενος τύπος
5
8Ukrainian (uk)
Залежний тип
2
9Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
1
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in October 2023

Language versions of the article "Dependent type" with the highest AI in October 2023
#LanguageAI awardRelative AI
1Czech (cs)
Závislostní typ
0
2Greek (el)
Εξαρτώμενος τύπος
0
3English (en)
Dependent type
0
4French (fr)
Type dépendant
0
5Japanese (ja)
依存型
0
6Russian (ru)
Зависимый тип
0
7Ukrainian (uk)
Залежний тип
0
8Chinese (zh)
依赖类型
0
9Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Dependent type" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Dependent type
233
2Ukrainian (uk)
Залежний тип
59
3French (fr)
Type dépendant
50
4Russian (ru)
Зависимый тип
40
5Chinese (zh)
依赖类型
25
6Japanese (ja)
依存型
22
7Czech (cs)
Závislostní typ
6
8Greek (el)
Εξαρτώμενος τύπος
3
9Min Nan (zhminnan)
Óa-ta̍t hêng-pia̍t
0
More...

Scores

Estimated value for Wikipedia:
English:
Global:
Popularity in October 2023:
English:
Global:
Popularity in all years:
English:
Global:
Authors in October 2023:
English:
Global:
Registered authors in all years:
English:
Global:
Citations:
English:
Global:

Quality measures

Interwikis

#LanguageValue
csCzech
Závislostní typ
elGreek
Εξαρτώμενος τύπος
enEnglish
Dependent type
frFrench
Type dépendant
jaJapanese
依存型
ruRussian
Зависимый тип
ukUkrainian
Залежний тип
zhChinese
依赖类型
zhminnanMin Nan
Óa-ta̍t hêng-pia̍t

Popularity rank trends

Best Rank English:
#12703
11.2016
Global:
#31645
11.2016

AI rank trends

Best Rank English:
#25860
12.2015
Global:
#88162
12.2015

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Dependent type from Wikipedia articles about Idris, Agda, Curry–Howard correspondence, Type system and Lambda cube. Whereas reading the article about Dependent type people most often go to Wikipedia articles on F*, Idris, Agda, Intuitionistic type theory and Coq.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 22 May 2024

On 22 May 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: Ademola Lookman, Atalanta BC, Toni Kroos, Gian Piero Gasperini, Bayer 04 Leverkusen, international recognition of the State of Palestine, UEFA Europa League, Ebrahim Raisi, State of Palestine, YouTube.

In English Wikipedia the most popular articles on that day were: Ademola Lookman, Atalanta BC, Deaths in 2024, Miss Universe Philippines 2024, Mark Kerr (fighter), International recognition of the State of Palestine, Ebrahim Raisi, YouTube, Next Indian general election, Trial and execution of Nicolae and Elena Ceaușescu.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from November, 2023. When calculating current popularity and AI of articles data from October 2023 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information